Report of Dagstuhl Seminar 15442 Approaches and Applications of Inductive Programming
نویسندگان
چکیده
This report documents the program and the outcomes of Dagstuhl Seminar 15442 “Approaches and Applications of Inductive Programming”. After a short introduction to the state of the art to inductive programming research, an overview of the talks and the outcomes of discussion groups is given. Seminar October 25–30, 2015 – http://www.dagstuhl.de/15442 1998 ACM Subject Classification I.2.2 Automatic Programming, Program Synthesis
منابع مشابه
Approaches and Applications of Inductive Programming 1 Executive Summary
This report documents the program and the outcomes of Dagstuhl Seminar 13502 “Approaches and Applications of Inductive Programming”. After a short introduction to inductive programming research, an overview of the talks and the outcomes of discussion groups is given. Seminar 8.–11. December, 2013 – www.dagstuhl.de/13502 1998 ACM Subject Classification I.2.2 Automatic Programming, Program Synthesis
متن کاملGeosensor Networks: Bridging Algorithms and Applications (Dagstuhl Seminar 13492)
Computational Mass Spectrometry (Dagstuhl Seminar 13491) Ruedi Aebersold, Oliver Kohlbacher, and Olga Vitek . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Geosensor Networks: Bridging Algorithms and Applications (Dagstuhl Seminar 13492) Matt Duckham, Stefan Dulman, Jörg-Rüdiger Sack, and Monika Sester . . . . . . . . . . 17 Approaches and Applications of Inductive Programming (Da...
متن کاملMulticore Enablement for Embedded and Cyber Physical Systems (Dagstuhl Seminar 13052)
This report documents the program and the outcomes of Dagstuhl Seminar 13021 “Symbolic Methods in Testing”. The aim of the seminar was to bring together leading researchers of this field; the seminary ended up with 38 participants from 10 countries: France, The Netherlands, The Unites States, Germany, Switzerland, United Kingdom, Brazil, Norway, Estonia and Italy. Through a series of presentati...
متن کاملMachine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172)
This report documents the program and the outcomes of Dagstuhl Seminar 16172 “Machine Learning for Dynamic Software Analysis: Potentials and Limits”. Machine learning is a powerful paradigm for software analysis that provides novel approaches to automating the generation of models and other essential artefacts. This Dagstuhl Seminar brought together top researchers active in the fields of machi...
متن کاملSynergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
This report documents the program and the outcomes of Dagstuhl Seminar 16201 “Synergies among Testing, Verification, and Repair for Concurrent Programs”. This seminar builds upon, and is inspired by, several past seminars on program testing, verification, repair and combinations thereof. These include Dagstuhl Seminar 13021 “Symbolic Methods in Testing”; Dagstuhl Seminar 13061 “Fault Prediction...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016